tropical 半環